HIGHER ORDER ABSTRACTIONS 429 |
||
types'. The status of this theory is a very interesting and instructive one. The theory solves the mathematical difficulties, thus saving mathematics, but has no application to life. Practically all mathematicians, if I am not mistaken, the author of the theory included, somehow 'dislike' the theory and make efforts to solve the problems in a different way and possibly to abandon the theory altogether.
We have already shown that the introduction of a language of 'different orders of abstractions' is structurally entirely justified and physiologically natural, as it describes, in terms of order, the activities of the nervous system. Such facts are important; but if, in addition, the introduction of a language of a new
![]() Although the majority of mathematicians 'dislike' the theory of types, yet, at present, this theory is unconditionally necessary for non-self-contradictory mathematics. The author was pleasantly surprised to find that after his
![]() When Whitehead and Russell were working at the foundations of mathematics, they came across endless paradoxes and self-contradictions, which, of course, would make mathematics impossible. After many efforts they found that all these paradoxes had one general source, in the rough, in the expressions which involve the word 'all', and the solution was found by introducing 'non-allness', a semantic forerunner of non-identity. Consider, for example, 'a proposition about all proposi- |
||